void debug( const char *fmt, ... );